6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
Lecture Notes in Computer Science > Agent-Oriented Software Engineering VI > Analysis and Validation Tools > 40-53
Lecture Notes in Computer Science > Agent-Oriented Software Engineering VI > Analysis and Validation Tools > 54-68
Lecture Notes in Computer Science > Agent-Oriented Software Engineering VI > Analysis and Validation Tools > 69-80